(third_composition rule:1